Modeling multi-clocked data-flow programs using the Generic Modeling Environment
نویسندگان
چکیده
This paper presents Signal-Meta, the metamodel designed for the synchronous data-flow language Signal. It relies on the Generic Modeling Environment (Gme), a configurable object-oriented toolkit that supports the creation of domain-specific modeling and program synthesis environments. The graphical description constitutes the base to build multi-clock environments, and a good front-end for the Polychrony platform. To complete this frontend, we develop a tool that transforms the graphical Signal-Meta specifications to the Signal code. This modeling paradigm constitutes a first work for generalizing the use of formal methods proposed by Polychrony.
منابع مشابه
Modeling multi-clocked data-flow programs in the Generic Modeling Environment
This paper presents Signal-Meta, the metamodel designed for the synchronous data-flow language Signal. It relies on the Generic Modeling Environment (Gme), a configurable object-oriented toolkit that supports the creation of domain-specific modeling and program synthesis environments. The graphical description constitutes the base to build environments to design multi-clocked systems, and a goo...
متن کاملGrid-Flow: a Grid-enabled scientific workflow system with a Petri-net-based interface
Advances in computer technologies have enabled scientists to explore research issues in their respective domains at scales greater and finer than ever before. The availability of efficient data collection and analysis tools presents researchers with vast opportunities to process heterogeneous data within a distributed environment. To support the opportunities enabled by massive computation, a s...
متن کاملModeling and Optimization of Industrial Multi-Stage Compressed Air System Using Actual Variable Effectiveness in Hot Regions
In this article, modeling and optimization of power consumption of two–stage compressed air system has been investigated. To do so, the two – stage compressed air cycle with intercooler of FAJR Petroleum Company was considered. This cycle includes two centrifugal compressors, a shell, and a tube intercooler. For modeling of power consumption, actual compressors isentropic efficiencies and inter...
متن کاملModeling and Optimization of Industrial Multi-Stage Compressed Air System Using Actual Variable Effectiveness in Hot Regions
In this article, modeling and optimization of power consumption of two–stage compressed air system has been investigated. To do so, the two – stage compressed air cycle with intercooler of FAJR Petroleum Company was considered. This cycle includes two centrifugal compressors, a shell, and a tube intercooler. For modeling of power consumption, actual compressors isentropic efficiencies and inter...
متن کاملMASFMMS: Multi Agent Systems Framework for Malware Modeling and Simulation
The Internet and local area networks, which connect many personal computers, are also facilitating the proliferation of malicious programs. Modern malware takes advantage of network services like email and file sharing to proliferate. Existing simulation environments use biological models or their variants for explaining the patterns of proliferation of malicious programs. This paper aims to pr...
متن کامل